A Poincaré invariant Lagrangian is a Lagrangian density that is unchanged under the full Poincaré group — the symmetry group of special relativity, comprising Lorentz transformations (boosts and rotations) together with spacetime translations. Requiring this invariance is what makes a field theory relativistically consistent, and it is one of the guiding constraints in constructing the QCD Lagrangian.
A Poincaré transformation acts on coordinates as
where \(\Lambda\) is a Lorentz transformation (\(\Lambda^T\eta\,\Lambda=\eta\)) and \(a^\mu\) a constant translation. Invariance under this ten-parameter group (6 Lorentz + 4 translations) is equivalent, by Noether's theorem, to conservation of angular momentum, boosts, and the energy–momentum tensor.
Since \(d^4x\) is Poincaré invariant, the action \(S=\int d^4x\,\mathcal L\) is invariant provided \(\mathcal L(x)\) is a Lorentz scalar built by contracting all Lorentz indices. Translation invariance is automatic if \(\mathcal L\) has no explicit dependence on \(x\) (only through the fields). The building blocks are:
- scalar bilinears such as \(\overline\psi\psi\) (mass term) and \(\overline\psi\gamma^\mu\partial_\mu\psi\);
- fully contracted tensors such as \(F^{\mu\nu}F_{\mu\nu}\);
- the invariant metric \(\eta_{\mu\nu}\) and \(\gamma\)-matrices tying spinor and vector indices together.
Every term of
is a Lorentz scalar with all indices contracted, so it is Poincaré invariant by construction. The aim of Continuum QCD is precisely to write a Lagrangian that is simultaneously Poincaré invariant and locally \(SU(3)_c\) gauge invariant — the two requirements together nearly fix its form.